
   Syntax       {%IN% &label&} {%ON% iteration} %SUBTRACT% &expression&

   Purpose      Subtracts &expression& from &label&

   Abbreviation        SUB for SUBTRACT

   %Example%

   þR1 : c < c + x < d
   þSUBTRACT c
   R1 : 0 < x < d - c

   PROCEDURE Example(INTEGER N ; LABEL L ; PARAMETER P) ;
     ITERATE I FROM 1 TO N ;
     IN L[I] SUBTRACT P ;
   EXIT
